منابع مشابه
Exploring modal worlds
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and uni...
متن کاملExploring "Multiple Worlds" in Parallel
We examine computing alternative solutions to a problem in parallel to improve response time. Problems with exploring multiple alternatives in parallel include (1) side-effects and (2) combinatorial explosion in the amount of state which must be preserved. These are solved by process management and an application of ‘‘copy-on-write’’ virtual memory management. The side effects resulting from in...
متن کاملExploring Students' Reactions to Virtual Worlds
Our research explores multi-user virtual environments for teaching university-level courses. This paper focuses on undergraduate students’ reactions to five virtual worlds explored as part of a Computers and Ethics course. Written reports from twenty-five students were qualitatively analyzed with respect to perceived ease of use, user satisfaction, and user concerns. Our preliminary findings in...
متن کاملExploring extrasolar worlds: from gas giants to terrestrial habitable planets.
Almost 500 extrasolar planets have been found since the discovery of 51 Peg b by Mayor and Queloz in 1995. The traditional field of planetology has thus expanded its frontiers to include planetary environments not represented in our Solar System. We expect that in the next five years space missions (Corot, Kepler and GAIA) or ground-based detection techniques will both increase exponentially th...
متن کاملExploring virtual worlds: current techniques and future issues
The purpose of this paper is to discuss about existing methods allowing to explore virtual worls for a human user. Clearly, we are interested in methods allowing a real human user to understand more or less complex unknown virtual worlds. The main techniques corresponding to our criteria are presented and their main qualities and drawbacks are commented. Finally, taking into account the qualiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 2005
ISSN: 1366-8781,1468-4004
DOI: 10.1093/astrog/46.4.4.38